Lifeworld Analysis

We argue that the analysis of agent/environment interactions should be extended to include the conventions and invariants maintained by agents throughout their activity. We refer to this thicker notion of environment as a lifeworld and present a partial set of formal tools for describing structures of lifeworlds and the ways in which they computationally simplify activity. As one specific example, we apply the tools to the analysis of the Toast system and show how versions of the system with very different control structures in fact implement a common control structure together with different conventions for encoding task state in the positions or states of objects in the environment.Comment: See http://www.jair.org/ for any accompanying file

INFRAWEBS Axiom Editor - A graphical ontology-driven tool for creating complex logical expressions

The current INFRAWEBS European research project aims at developing ICT framework enabling software and service providers to generate and establish open and extensible development platforms for Web Service applications. One of the concrete project objectives is developing a full-life-cycle software toolset for creating and maintaining Semantic Web Services (SWSs) supporting specific applications based on Web Service Modelling Ontology (WSMO) framework. According to WSMO, functional and behavioural descriptions of a SWS may be represented by means of complex logical expressions (axioms). The paper describes a specialized user-friendly tool for constructing and editing such axioms - INFRAWEBS Axiom Editor. After discussing the main design principles of the Editor, its functional architecture is briefly presented. The tool is implemented in Eclipse Graphical Environment Framework and Eclipse Rich Client Platform

Biochemistry of the erythrocyte Rh polypeptides: a review.

The clinically important Rh blood group system is complex, consisting of multiple distinct antigens. Despite clinical recognition for over 50 years, the Rh blood group antigens have remained poorly understood on a molecular level until the recent identification and characterization of the "Rh polypeptides," the core structural proteins of the Rh antigens. This group of erythrocyte membrane proteins of molecular weight 30,000-35,000 daltons was first recognized by employing Rh-specific antibodies to immunoprecipitate radiolabeled components of erythrocyte membranes. By using antibodies specific for the Rh D, c, and E antigens, a series of highly related non-identical proteins were immunoprecipitated, indicating that the Rh antigens are composed of multiple related proteins. The Rh polypeptides have been purified and characterized, and they were found to have several unusual biochemical characteristics. The Rh polypeptides penetrate the membrane bilayer; they are linked to the underlying membrane skeleton; they are covalently fatty acid acylated with palmitate. While the Rh antigenic reactivity is unique to human erythrocytes, the Rh polypeptides have been isolated from erythrocytes of diverse species and are thought to be fundamental components of all mammalian erythrocyte membranes. The functional role of the Rh polypeptides remains undefined, but a role in the organization of membrane phospholipid is suspected

The Rh polypeptide is a major fatty acid-acylated erythrocyte membrane protein

The erythrocyte Rh antigens contain an Mr = 32,000 integral protein which is thought to contribute in some way to the organization of surrounding phospholipid. To search for possible fatty acid acylation of the Rh polypeptide, intact human erythrocytes were incubated with [3H]palmitic acid prior to preparation of membranes and sodium dodecyl sulfate-polyacrylamide gel electrophoresis and fluorography. Several membrane proteins were labeled, but none corresponded to the glycophorins or membrane proteins 1-8. An Mr = 32,000 band was prominently labeled on Rh (D)-negative and -positive erythrocytes and could be precipitated from the latter with anti-D. No similar protein was labeled on membranes from Rhmod erythrocytes, a rare phenotype lacking Rh antigens. Labeling of the Rh polypeptide most likely represents palmitic acid acylation through thioester linkages. The 3H label was not extracted with chloroform/methanol, but was quantitatively eluted with hydroxylamine and co-chromatographed with palmitohydroxamate and free palmitate by thin layer chromatography. The fatty acid acylations occurred independent of protein synthesis and were completely reversed by chase with unlabeled palmitate. It is concluded that the Rh polypeptide is fatty acid-acylated, being a major substrate of an acylation-deacylation mechanism associated with the erythrocyte membrane

INFRAWEBS Capability Editor - A graphical ontology-driven tool for creating capabilities of Semantic Web Services

The current INFRAWEBS European research project aims at developing ICT framework enabling software and service providers to generate and establish open and extensible development platforms for Web Service applications. One of the concrete project objectives is developing a full-life-cycle software toolset for creating and maintaining Semantic Web Services (SWSs) supporting specific applications based on Web Service Modelling Ontology (WSMO) framework. SWSs are self-contained, self-describing, semantically marked-up software resources that can be published, discovered, composed and executed across the Web in a task driven semi-automatic way. A main part of WSMO-based SWS is service capability – a declarative description of Web service functionality. A formal syntax and semantics for such a description is provided by Web Service Modeling Language (WSML), which is based on different logical formalisms, namely, Description Logics, First-Order Logic and Logic Programming. A WSML description of a Web service capability is represented as a set of complex logical expressions (axioms). The paper describes a specialized user-friendly tool for constructing and editing WSMO-based SWS capabilities. Since the users of that tool are assumed to be SWS providers, which are not the specialists in first-order logic, it is proposed a graphical way for constricting and editing the axioms abstracting away as much as possible from a concrete syntax of logical language used for implementing them. Our analysis has shown that the main problems arising during axiom creating are associated with using of correct names of concepts, attributes, relations and parameters as well as their types rather than with expressing logical dependences between axiom parts. So the process of constructing logical expressions in the tool is ontologydriven, which means that in each step of this process the user may select only such elements of existing ontologies that are consistent with already constructed part of the axiom. From this point of view the created axiom is always semantically consistent with ontologies used for it construction. After discussing the main design principles of the Editor, its functional architecture is briefly presented. The tool is implemented in Eclipse Graphical Environment Framework and Eclipse Rich Client Platform

Building Brains for Bodies

We describe a project to capitalize on newly available levels of computational resources in order to understand human cognition. We will build an integrated physical system including vision, sound input and output, and dextrous manipulation, all controlled by a continuously operating large scale parallel MIMD computer. The resulting system will learn to "think'' by building on its bodily experiences to accomplish progressively more abstract tasks. Past experience suggests that in attempting to build such an integrated system we will have to fundamentally change the way artificial intelligence, cognitive science, linguistics, and philosophy think about the organization of intelligence. We expect to be able to better reconcile the theories that will be developed with current work in neuroscience

Highly selective water channel activity measured by voltage clamp: Analysis of planar lipid bilayers reconstituted with purified AqpZ

Aquaporins are membrane channels selectively permeated by water or water plus glycerol. Conflicting reports have described ion conductance associated with some water channels, raising the question of whether ion conductance is a general property of the aquaporin family. To clarify this question, a defined system was developed to simultaneously measure water permeability and ion conductance. The Escherichia coli water channel aquaporin-Z (AqpZ) was studied, because it is a highly stable tetramer. Planar lipid bilayers were formed from unilamellar vesicles containing purified AqpZ. The hydraulic conductivity of bilayers made from the total extract of E. coli lipids increased 3-fold if reconstituted with AqpZ, but electric conductance was unchanged. No channel activity was detected under voltage-clamp conditions, indicating that less than one in 10(9) transport events is electrogenic. Microelectrode measurements were simultaneously undertaken adjacent to the membrane. Changes in sodium concentration profiles accompanying transmembrane water flow permitted calculation of the activation energies: 14 kcal/mol for protein-free lipid bilayers and 4 kcal/mol for lipid bilayers containing AqpZ. Neither the water permeability nor the electric conductivity exhibited voltage dependence. This sensitive system demonstrated that AqpZ is permeated by water but not charged ions and should permit direct analyses of putative electrogenic properties of other aquaporins